Nuprl Definition : w-discrete
11,40
postcript
pdf
discrete(
i
;
x
) == ((
w
.2.2.2.2.2.2.2).1)(
i
,
x
)
latex
clarification:
w-discrete(
w
;
i
;
x
) == ((
w
.2.2.2.2.2.2.2).1)(
i
,
x
)
latex
Definitions
f
(
a
)
,
t
.1
,
t
.2
FDL editor aliases
w-discrete
origin